Auto merge of #3953 - jessicah:haiku-renaming-fix, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 25 Apr 2017 15:59:59 +0000 (15:59 +0000)
committerbors <bors@rust-lang.org>
Tue, 25 Apr 2017 15:59:59 +0000 (15:59 +0000)
Haiku: skip renaming if filenames are the same


Trivial merge